Pocket set theory